Crafting the mind of PROSOCS agents

prosocs agents are software agents that are built according to the kgp model of agency. kgp is used as a model for the mind of the agent, so that the agent can act autonomously using a collection of logic theories, providing the mind’s reasoning functionalities. The behaviour of the agent is controlled by a cycle theory that specifies the agent’s preferred patterns of operation. The implementation of the mind’s generic functionality in prosocs is worked out in such a way so it can be instantiated by the platform for different agents across applications. In this context, the development of a concrete example illustrates how an agent developer might program the generic functionality of the mind for a simple application.